(NatInd ({-}1))